import java.util.ArrayList;

import com.google.java.contract.*;

public interface DatabaseInterface{
	
	@Requires("{!userTableEmpty(), userSet()}")
	String getUser();
	
//	@Requires("!userTableEmpty()")
//	ArrayList <String> getAllUsers();
	
	void addUser(String name);
	//void addUser();
	
	
//	@Ensures("userSet()")
//	void setUser();
	
	@Requires("!coasterTableEmpty()")
	ArrayList<Rollercoaster> getAllRollercoasters();
	
	@Ensures("!coasterTableEmpty()")
	void saveRollerCoaster(String rollerCoasterName, Rollercoaster rCoaster);
	
	
	
	
	
	//Added by Becca
	ArrayList<String> getAllCoasterNames();
	
	Rollercoaster getCurrentCoaster();
	
	
	
	//boolean userSet();
	boolean userTableEmpty();
	boolean coasterTableEmpty();

	String getcoasterName();
		
}